A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.